Applying Formal Methods to Networking: Theory, Techniques, and Applications

Applying Formal Methods in

The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure diiculties and beneets associated with the use of integrated graphical and textual formal specii-cation languages. The reference application used for the trial project was the development of a platform door contr...

Applying Formal Methods for Human

This paper describes recent work concerned with the spe-ciication of requirements on interactive systems and the deenition of user-level properties of such systems. A formal notation for describing and reasoning about the behaviour of systems and emergent properties is discussed, along with a technique that uses the formalism to investigate the resilience of systems to operator errors. These te...

Towards a formal theory of wireless networking

Applying Formal Verification Techniques to Ambient Assisted Living Systems

This paper presents a verification approach based on timed traces semantics and MEDISTAM-RT [1] to check the fulfillment of non-functional requirements, such as timeliness and safety, and assure the correct functioning of the Ambient Assisted Living (AAL) systems. We validate this approach by its application to an Emergency Assistance System for monitoring people suffering from cardiac alterati...

applying transitivity theory to gender analysis of efl textbook: : a comparative study.

efl/esl textbooks have been regarded as essential language teaching materials with which the learners spend about 70 up to 90 percent of their class time. the important role they play and their vast use make them not only influential in learning the language but also in shaping values and attitudes. put it another way, textbooks socialize learners using their contents (i.e. texts, illustrations...